пример диаграммы состояний банкомата

Programming: example of ATM statechart (см. Software Modeling and Design by Hassan Gomaa (2011), а тж. Designing Concurrent, Distributed, and Real-time Applications with UML by Hassan Gomaa (2000))